home *** CD-ROM | disk | FTP | other *** search
/ Freelog 117 / FreelogNo117-OctobreNovembre2013.iso / Programmation / jedit / jedit5.1.0install.exe / {app} / macros / Interface / Reset_TextArea.bsh < prev    next >
Text File  |  2013-07-28  |  504b  |  17 lines
  1. /** Reset_TextArea.bsh
  2.     A macro that performs a split and an unsplit of the current TextArea.
  3.     Useful for those occasions when your textarea is corrupt (painting the
  4.     incorrect characters on the screen).
  5. */
  6. import javax.swing.Timer;
  7. view.splitVertically();
  8. int delay = 100; //milliseconds
  9. ActionListener taskPerformer = new ActionListener() {
  10.   public void actionPerformed(ActionEvent evt) {
  11.           view.unsplitCurrent();
  12.   }
  13. };
  14. t = new Timer(delay, taskPerformer);
  15. t.setRepeats(false);
  16. t.start();
  17.